منابع مشابه
Triem Tong N ̊ ? ? ? ? Septembre 2001
We present Timbuk a tree automata library which implements usual operations on tree automata as well as a completion algorithm used to compute an over-approximation of the set of descendants R (E) for a regular set E and a term rewriting system R, possibly non linear and non terminating. On several examples of term rewriting systems representing programs and systems to verify, we show how to us...
متن کاملTRiEM : An application for MS TeleRehabilitation
TRiEM is a telemedicine project that focuses on the very specific aspect of telerehabilitation. In the project, the Multiple Sclerosis (MS) Association of Girona and BCDS Group of UdG are developing a multi-media application to support medical staff and offer improved and personalised services to MS patients. An illness such as MS can provoke significant exhaustion in patients even just by goin...
متن کاملEve Marder
so that the creativity of millions of years of plant evolution is not irreplaceably lost during our own short tenure on this planet.” Given the urgency of current environmental concerns, engaging the public in the conservation of plants has to be a priority for any scientist interested in the variety of plant life, he says. It is therefore central to the work of the Millennium Seed Bank and the...
متن کاملEve, a Priest in Eden?
Chapter 2 of Women in Ministry tries to explain why there are no women priests in Israel. Its author, an Old Testament scholar, maintains that the absence of female priests in ancient Israel cannot be used as an argument against women’s ordination. The author states that he approaches the Bible through “exegetical research.” This, he explains, means that he “will not move from a priori definiti...
متن کاملEve Mitleton-Kelly Dissertation
If organisations are seen as complex evolving systems, co-evolving within a social ‘ecosystem’, then our thinking about strategy and management changes. With the changed perspective comes a different way of acting and relating which could lead to a different way of working. In turn, the new types of relationship and approaches to work could well provide the conditions for the emergence of new o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Extended Outlooks: The Iowa Review Collection of Contemporary Writing by Women
سال: 1981
ISSN: 0021-065X,2330-0361
DOI: 10.17077/0021-065x.2794